Balanced Trees Inhabiting Functional Parallel ProgrammingMORIHATA, Akimasa; MATSUZAKI, Kiminori.ACM SIGPLAN notices. 2011, Vol 46, Num 9, pp 117-128, issn 1523-2867, 12 p.Conference Paper

Systematic derivation of tree contraction algorithmsMATSUZAKI, Kiminori; ZHENJIANG HU; KAKEHI, Kazuhiko et al.Parallel processing letters. 2005, Vol 15, Num 3, pp 321-336, issn 0129-6264, 16 p.Article

Write it Recursively : A Generic Framework for Optimal Path QueriesMORIHATA, Akimasa; MATSUZAKI, Kiminori; TAKEICHI, Masato et al.ACM SIGPLAN notices. 2008, Vol 43, Num 9, pp 169-178, issn 1523-2867, 10 p.Conference Paper

Parallelization with tree skeletonsMATSUZAKI, Kiminori; ZHENJIANG HU; TAKEICHI, Masato et al.Lecture notes in computer science. 2003, pp 789-798, issn 0302-9743, isbn 3-540-40788-X, 10 p.Conference Paper

Automatic inversion generates divide-and-conquer parallel programsMORITA, Kazutaka; MORIHATA, Akimasa; MATSUZAKI, Kiminori et al.ACM SIGPLAN notices. 2007, Vol 42, Num 6, pp 146-155, issn 1523-2867, 10 p.Conference Paper

Surrounding Theorem : Developing Parallel Programs for Matrix-ConvolutionsEMOTO, Kento; MATSUZAKI, Kiminori; ZHENJIANG HU et al.Lecture notes in computer science. 2006, pp 605-614, issn 0302-9743, isbn 3-540-37783-2, 1Vol, 10 p.Conference Paper

A fusion-embedded skeleton libraryMATSUZAKI, Kiminori; KAKEHI, Kazuhiko; IWASAKI, Hideya et al.Lecture notes in computer science. 2004, pp 644-653, issn 0302-9743, isbn 3-540-22924-8, 10 p.Conference Paper